\documentclass[10pt,a4paper]{article}
\usepackage[pdftex]{hyperref}
\usepackage{fullpage}
\usepackage[utf8x]{inputenc}
\usepackage[frenchb]{babel}
\usepackage[T1]{fontenc}
\usepackage{lmodern}
\usepackage{ucs}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{listings}	
\usepackage{algorithmic}
\usepackage[Algorithme ]{algorithm}
\usepackage{subfig}
\usepackage{pgf}
\usepackage{tikz}
\usepackage{amsthm}
\usepackage{version}
\usetikzlibrary{arrows,fit,shapes,snakes,automata,backgrounds,petri}

\renewcommand{\listalgorithmname}{Liste des Algorithmes}	
\renewcommand{\algorithmicrequire}{\textbf{Entrée:}}
\renewcommand{\algorithmicensure}{\textbf{Sortie:}}
\renewcommand{\algorithmicend}{\textbf{fin}}
\renewcommand{\algorithmicif}{\textbf{si}}
\renewcommand{\algorithmicthen}{\textbf{alors}}
\renewcommand{\algorithmicelse}{\textbf{sinon}}
\renewcommand{\algorithmicelsif}{\algorithmicelse\ \algorithmicif}
\renewcommand{\algorithmicendif}{\algorithmicend\ \algorithmicif}
\renewcommand{\algorithmicfor}{\textbf{pour}}
\renewcommand{\algorithmicforall}{\textbf{pour tout}}
\renewcommand{\algorithmicdo}{\textbf{faire}}
\renewcommand{\algorithmicendfor}{\algorithmicend\ \algorithmicfor}
\renewcommand{\algorithmicwhile}{\textbf{tant que}}
\renewcommand{\algorithmicendwhile}{\algorithmicend\ \algorithmicwhile}
\renewcommand{\algorithmicloop}{\textbf{loop}}
\renewcommand{\algorithmicendloop}{\algorithmicend\ \algorithmicloop}
\renewcommand{\algorithmicrepeat}{\textbf{répétez}}
\renewcommand{\algorithmicuntil}{\textbf{jusqu' }}
\renewcommand{\algorithmicprint}{\textbf{print}}
\renewcommand{\algorithmicreturn}{\textbf{return}}
\renewcommand{\algorithmictrue}{\textbf{vrai}}
\renewcommand{\algorithmicfalse}{\textbf{faux}}

\lstset{language=C}

	
	\makeatletter
	
	\def\clap#1{\hbox to 0pt{\hss #1\hss}	}%
	
	\def\ligne#1
	{%
		\hbox to \hsize{%
		\vbox{\centering #1}}
	}%
	
	%%Definition de haut
	\def\haut#1#2#3
	{%
		\hbox to \hsize
		{%
			\rlap{\vtop{\raggedright #1}}%
			\hss
			\clap{\vtop{\centering #2}}%
			\hss
			\llap{\vtop{\raggedleft #3}}
		}%
	}%
	
	%%Definition de bas	
	\def\bas#1#2#3
	{%
		\hbox to \hsize{%
		\rlap{\vbox{\raggedright #1}}%
		\hss	
		\clap{\vbox{\centering #2}}%
		\hss
		\llap{\vbox{\raggedleft #3}}}
	}%
	
	%%Redifinition de maketitle
	\def\maketitle
	{%
		\thispagestyle{empty}\vbox to \vsize{%
		\haut{}{\@blurb}{}
		\vfill
		\vspace{1cm}
		\begin{flushleft}
		\usefont{OT1}{ptm}{m}{n}
		\LARGE \@title
		\end{flushleft}
		\par
		\hrule height 4pt
		\par
		\begin{flushright}
		\usefont{OT1}{phv}{m}{n}
		\Large \@author
		\par
		\end{flushright}
		\vspace{1cm}
		\vfill
		\vfill
		\bas{}{\@location, le \@date}{}
	}%
	
	\cleardoublepage
	}
	\def\date#1{\def\@date{#1}}
	\def\author#1{\def\@author{#1}}
	\def\title#1{\def\@title{#1}}
	\def\location#1{\def\@location{#1}}
	\def\blurb#1{\def\@blurb{#1}}
	\makeatother
		\title{Rapport du projet de résolution de problèmes NP-difficiles}
		\author{Houria CHARBAL\\Massinissa MERABET\\Yasser KADDOUR}
		\location{Montpellier}
		\date{\today}
	
	%%Entete de page de garde
		\blurb{%
		Université de Montpellier 2\\
		Faculté des sciences\\
		Département d'informatique\\
		Master 2 IFPRU Casar\\[1em]
		}
	%%
	%%%Fin page de garde 
	
\begin{document}
	%%Affichage de la page de garde
	\maketitle
%	\tableofcontents
%	\listofalgorithms
%	\listoffigures
	\newpage 

\section*{Exercice 1 L'utilisation das réseau de Petri pour le contrôle de commande}
	
	\input{exo_01.tex}

\section*{Exercice 2 Spécification d'un protocole de communication}

	\input{exo_02.tex}

\section*{Exercice 3 Etude d'un réseau de Petri particulier}

	\input{exo_03.tex}

\section*{Exercice 4 Spécification d'une construction d'une maison}

	\input{exo_04.tex}

\section*{Exercice 5 Producers and Consumers}

	\input{exo_05.tex}

\section*{Exercice 6 Producers and Consumers bis}

	\input{exo_06.tex}

\section*{Exercice 7 Semaphore}

	\input{exo_07.tex}

\section*{Exercice 8 L'utilisation des réseaux de Petri pour le contrôle des trains}

	\input{exo_08.tex}

\section*{Exercice 9 L'utilisation des réseaux de Petri pour le contrôle d'un système téléphonique}

	\input{exo_09.tex}

\section*{Exercice 10 Réseaux de Petri temporel}

	\input{exo_10.tex}	
	
\end{document}